White Pouring

Pouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario

The formal statements of the lemmas in this appendix, like the axioms in the main text of the paper, are (intended to be) written in a style that could be given directly to an automated theorem checker, after some straightfoward syntactic desugaring. In the text of the proofs here, by contrast, I have followed the (God knows, rigid enough) comparatively informal style of normal mathematical wri...

Robot Motion Planning for Pouring Liquids

We present a new algorithm to compute a collision-free trajectory for a robot manipulator to pour liquid from one container to the other. Our formulation uses a physical fluid model to predicate its highly deformable motion. We present simulation guided and optimization based method to automatically compute the transferring trajectory. Instead of abstract or simplified liquid models, we use the...

Pouring Cloud Virtualization Security Inside Out

In this article, virtualization security concerns in the cloud computing domain are reviewed. The focus is toward virtual machine (VM) security where attacks and vulnerabilities such as VM escape, VM hopping, cross-VM side-channel, VM-based rootkits (VMBRs), VM mobility, and VM remote are mentioned and discussed according to their relevance in the clouds. For each attack we outline how they aff...

A Representation for General Pouring Behavior

We introduce our work on pouring as an example of complicated tasks for robots. The architecture is a skill library with planning and learning methods. We briefly describe our representation for pouring, then discuss problems and future directions.

Pouring Ó›inn’s Mead: An Antiquarian Theme?